例句與造句

1. In mathematical logic, this sort of quantification is known as "'uniqueness quantification "'or "'unique existential quantification " '.
2. The two-variable fragment of first-order logic with no function symbols is known to be decidable even with the addition of counting quantifiers, and thus of uniqueness quantification.
3. It's difficult to find uniqueness quantification in a sentence. 用uniqueness quantification造句挺難的